From: Cosimo Cecchi Date: Thu, 30 Nov 2017 20:36:31 +0000 (-0800) Subject: search: reload search providers when installed applications change X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~845^2^2~166 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=40c2a403ac2a1fa0250a1a361ce8451e8ed2a814;p=gnome-shell.git search: reload search providers when installed applications change Otherwise, a shell restart will be required after installing a new application, before its results can be seen in search. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/562 --- diff --git a/js/ui/search.js b/js/ui/search.js index fe4f6162b..6ceee4f03 100644 --- a/js/ui/search.js +++ b/js/ui/search.js @@ -431,6 +431,9 @@ var SearchResults = class { this._cancellable = new Gio.Cancellable(); this._registerProvider(new AppDisplay.AppSearchProvider()); + + let appSystem = Shell.AppSystem.get_default(); + appSystem.connect('installed-changed', this._reloadRemoteProviders.bind(this)); this._reloadRemoteProviders(); }